We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...) all sentences φ $I\Delta_0 + \Omega_1 \vdash \forall x \operatorname{Prov}(\ulcorner \forall y \leq \bar{x} (\operatorname{Prf} (y. \overline{\ulcorner \varphi \urcorner}) \rightarrow \varphi)\urcorner).$ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlak in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas. (shrink)

A discussion of a number of ways that information can be present in a computer program without being explicitly represented.

We study the conservation of energy, or lack thereof, when measurements are performed in quantum mechanics. The expectation value of the Hamiltonian of a system changes when wave functions collapse in accordance with the standard textbook treatment of quantum measurement, but one might imagine that the change in energy is compensated by the measuring apparatus or environment. We show that this is not true; the change in the energy of a state after measurement can be arbitrarily large, independent of the (...) physical measurement process. In Everettian quantum theory, while the expectation value of the Hamiltonian is conserved for the wave function of the universe, it is not constant within individual worlds. It should therefore be possible to experimentally measure violations of conservation of energy, and we suggest an experimental protocol for doing so. (shrink)

Techniques from behavioral economics—nudges—may help physicians increase pediatric vaccine compliance, but critics have objected that nudges can undermine autonomy. Since autonomy is a centrally important value in healthcare decision-making contexts, it counts against pediatric vaccination nudges if they undermine parental autonomy. Advocates for healthcare nudges have resisted the charge that nudges undermine autonomy, and the recent bioethics literature illustrates the current intractability of this debate. This article rejects a principle to which parties on both sides of this debate sometimes seem (...) committed: that nudges are morally permissible only if they are consistent with autonomy. Instead, I argue that, at least in the case of pediatric vaccination, some autonomy-undermining nudges may be morally justified. This is because parental autonomy in pediatric decision-making is not as morally valuable as the autonomy of adult patients, and because the interests of both the vaccinated child and other members of the community can sometimes be weighty enough to justify autonomy-infringing pediatric vaccination nudges. This article concludes with a set of worries about the effect of pediatric vaccination nudges on parent-physician relationships, and it calls on the American Academy of Pediatrics to draw on scientific and bioethics research to develop guidelines for the use of nudges in pediatric practice and, in particular, for the use of pediatric vaccination nudges. (shrink)

Intersectionality has become the primary analytic tool that feminist and anti-racist scholars deploy for theorizing identity and oppression. This paper exposes and critically interrogates the assumptions underpinning intersectionality by focusing on four tensions within intersectionality scholarship: the lack of a defined intersectional methodology; the use of black women as quintessential intersectional subjects; the vague definition of intersectionality; and the empirical validity of intersectionality. Ultimately, my project does not seek to undermine intersectionality; instead, I encourage both feminist and anti-racist scholars to (...) grapple with intersectionality's theoretical, political, and methodological murkiness to construct a more complex way of theorizing identity and oppression. (shrink)

On the face of it, Maurice Merleau-Ponty’s views bear a strong resemblance to contemporary disjunctivist theories of perception, especially John McDowell’s epistemological disjunctivism. Like McDowell (and other disjunctivists), Merleau-Ponty seems to be a direct realist about perception and holds that veridical and illusory perceptions are distinct. This paper furthers this comparison. Furthermore, it is argued that elements of Merleau-Ponty’s thought provide a stronger case for McDowell’s kind of epistemological view than McDowell himself provides. Merleau-Ponty’s early thought can be used to (...) develop a unique version of epistemological disjunctivism that is worth consideration alongside contemporary views on perceptual knowledge. (shrink)

Many advocate practices of ‘local food’ or ‘locavorism’ as a partial solution to the injustices and unsustainability of contemporary food systems. I think that there is much to be said in favor of local food movements, but these virtues are insufficient to immunize locavorism from criticism. In particular, three duties of international ethics—beneficence, repair and fairness—may provide reasons for constraining the developed world’s permissible pursuit of local food. A complete account of why (and how) the fulfillment of these duties constrains (...) locavorism will require extensive empirical evidence about the relationship between agricultural demand-led industrialization, international trade (rules), and local food practices. In this paper I can only gesture at some of this evidence and, for that reason, my policy prescriptions are merely provisional. Instead, the upshot of this paper is that advocates of locavorism ought to be attentive to the empirical-dependence of the moral permissibility of their projects. As local food ‘scales up’—and comes to be embraced as a goal of political communities—these concerns should receive even greater attention. (shrink)

Divine names, i.e. the names religions use to speak of their god(s), pose a special problem to semantics. It is not only disputed whether they are proper names, descriptions, or names of kinds, the dispute between believers and non-believers over the ontological status of their bearers is a further obstacle to offering a single theory that can account for all divine names. But aboutness theory can come to the rescue here. Whatever terms divine names are, they pick out a subject (...) matter, and whereas ontology is relevant to reference, subject matters need no corresponding object in the world. Believers and non-believers can therefore agree on the name bearers’ status as topics of their conversation. (shrink)

When consumers choose to abstain from purchasing meat, they face some uncertainty about whether their decisions will have an impact on the number of animals raised and killed. Consequentialists have argued that this uncertainty should not dissuade consumers from a vegetarian diet because the “expected” impact, or average impact, will be predictable. Recently, however, critics have argued that the expected marginal impact of a consumer change is likely to be much smaller or more radically unpredictable than previously thought. This objection (...) to the consequentialist case for vegetarianism is known as the “causal inefficacy” (or “causal impotence”) objection. In this paper, we argue that the inefficacy objection fails. First, we summarize the contours of the objection and the standard “expected impact” response to it. Second, we examine and rebut two contemporary attempts (by Mark Budolfson and Ted Warfield) to defeat the expected impact reply through alleged demonstrations of the inefficacy of abstaining from meat consumption. Third, we argue that there are good reasons to believe that single individual consumers—not just individual consumers taken as an aggregate—really do make a positive difference when they choose to abstain from meat consumption. Our case rests on three economic observations: (i) animal producers operate in a highly competitive environment, (ii) complex supply chains efficiently communicate some information about product demand, and (iii) consumers of plant-based meat alternatives have positive consumption spillover effects on other consumers. (shrink)

Enric F. Gel has recently argued that classical theism enjoys a significant advantage over Graham Oppy's naturalism. According to Gel, classical theism – unlike Oppy's naturalism – satisfactorily answers two questions: first, how many first causes are there, and second, why is it that number rather than another? In this article, I reply to Gel's argument for classical theism's advantage over Oppy's naturalism. I also draw out wider implications of my investigation for the gap problem and Christian doctrine along the (...) way. (shrink)

The paper examines the loss of African identity within the modern/ contemporary era. African identity has been a recurrent theme in all domains of African studies, serving as a major intellectual concern of many African scholars. Debates on the reality of African Philosophy are anchored on the questions surrounding African identity giving rise to thoughts and contents of that philosophy. Despite the volumes already generated on the theme, the controversial circumstances that engendered the subject of African identity makes its intellectual (...) concern sustainable and almost inexhaustible. The question of African identity is basically an ontological question of the reality of Africa cum the being of an African. The series of infiltration and appraisals of Africa by foreign elements tend to plunge the continent into crises of identity. In addition to the various approaches to the subject, the nature-culture perspective presents the argument that if culture is ideally the product of a people’s nature, African culture represents the objective manifestation of the Africanity of the continent and its organic/holistic content. Such frame of thought embellished with philosophic tools provides further locus for a more feasible and stable definition of African identity as the holistic nature and character of being African. (shrink)

This is a sequel to my paper "Il denaro è un’opera d’arte", focusing on the metaphysics of those peculiar social objects that play an increasingly central role in the financial world—derivatives. On the analysis I offer, they appear to run afoul of Searle’s theory of social objects (or of the theory outlined in my earlier paper), and I put forward some suggestions on where to look for the necessary adjustments.

One of the most serious challenges (if not the most serious challenge) for interactive psycho-physical dualism (henceforth interactive dualism or ID) is the so-called ‘interaction problem’. It has two facets, one of which this article focuses on, namely the apparent tension between interactions of non-physical minds in the physical world and physical laws of nature. One family of approaches to alleviate or even dissolve this tension is based on a collapse solution (‘consciousness collapse/CC) of the measurement problem in quantum mechanics (...) (QM). The idea is that the mind brings about the collapse of a superposed wave function onto one of its eigenstates. Thus, it is claimed, can the mind change the course of things without violating any law figuring in physical theory. I will first show that this hope is premature because energy and momentum are probably not conserved in collapse processes, and that even if this can be dealt with, the violations are either severe or produce further ontological problems. Second, I point out several conceptual difficulties for interactionist CC. I will also present solutions for those problems, but it will become clear that those solutions come at a high cost. Third, I shall briefly list some empirical problems which make life even harder for interactionist CC. I conclude with remarks about why no- collapse interpretations of QM don’t help either and what the present study has shown is the real issue for ID: namely to find a plausible integrative view of dualistic mental causation and laws of nature. (shrink)

A defense of the value of studying what Aristotle, in the Politics, refers to as useless things, and thereby a defense of the 'uselessness' of the study of the liberal arts.

Austria, by the end of the nineteenth century, clearly lagged behind its more developed Western neighbours in matters of intellect and science. The Empire had witnessed a relatively late process of urbanization, bringing also a late development of those liberal habits and values which would seem to be a presupposition of the modern, scientific attitude. It therefore lacked institutions of scientific research of the sort that had been founded in Germany since the time of von Humboldt. On the other hand, (...) as more liberal ways began to be established in Austria - effectively in the second half of the nineteenth century - the desire to enjoy the trappings of a modern enlightened culture made itself felt. The Austrians were not of course in a position to summon forth the means to create reputable institutions and traditions of science in the narrow sense, and this created a vacuum which the theory of a practice so attractively pursued elsewhere could then fill. (shrink)

In his book The Austrian Mind (1972) W. M. Johnston observes that between 1861 and 1938 a striking number of Austrian intellectuals committed uicide. He also remarks that prior to 1920 suicide was relatively rare among Hungarian intellectuals, and as a possible explanation he refers to their more intensive political activity. The present paper investigates relations between a society's intellectual life and its general suicidal tendencies. In so doing it takes up a central theme of T. G. Masaryk's Suicide as (...) a Social Mass Phenomenon of Modern Civilization, published in Vienna in 1881. (shrink)

This article analyzes the evolution of aesthetic role of the nature in the Middle Ages from the point of view of the philosophical systems influence on the interpretation of the corporal as a legitim way to the knowledge of the truth. it studies the intimate approach of neo-platonism, the shaping of its premises in the rejection of physical beauty and the change that occured after the assimilation of Aristotelianism toward a naturalistic outsourcing of the intellectual and artistic interests.

The thesis that subsumption is sufficient for explanation is dying out, but the thesis that it is necessary is alive and well. It is difficult to attack this thesis: non-subsumptive counter-examples are declared incomplete, or mere promissory notes. No theory, it is thought, can be explanatory unless it resorts to subsumption at some point. In this paper I attack this thesis by describing a theory that (1) would explain every event it could describe, (2) does not explain by subsumption, and (...) (3) is fundamental in that it is understood to be irreducible (hence there are no unstated laws waiting in the wings). (shrink)

Applying critical rationalism, all criticism is to be welcomed. A response can help to elucidate matters even when the criticisms are poor, misconceived, and hostile. Thus, we turn to the review.

In this article, the self-infliction argument will be introduced; I contend that because U.S. neoliberal essentialism pervades social conventions and is negatively related to the deterioration of private-sector union density, it is likely that neoliberal essentialism pervades the organizational standards set forth by U.S. private-sector unions, exacerbating density deterioration in the process. In particular, Antonio Gramsci’s concepts of hegemony and common sense inform the frame of reference from which neoliberal essentialism is expressed as a traditionally inherited and reflexively accepted social (...) perspective of the world, assuming the inevitability and equity of neoliberalism. To further substantiate the self-infliction argument, statistical analyses will be conducted to determine whether U.S. public support for labor unions and big business positively correspond to declining trends in union density during the neoliberal era. If sound, the self-infliction argument underscores the urgency of U.S. private-sector labor unions to transcend neoliberal thinking and foster a collective vision for a post neoliberal, labor-centric hegemony. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

Mental causation, idea that it is us – via our minds – who cause bodily actions is as commonsensical as it is indispensable for our understanding of ourselves as rational agents. Somewhat less uncontroversial, but nonetheless widespread (at least among ordinary people) is the idea that the mind is non-physical, following the intuition that what is physical can neither act nor think nor judge morally. Taken together, and cast into a metaphysical thesis, the two intuitions yield interactive dualism: the view (...) that human persons and their minds are non-physical but can nonetheless interact with their bodies, most notably through their brains. This thesis has two main objectives: first, to defend interactive dualism against objections, and second, to show how it can blend in with a physical world in which laws of nature hold. The first part (chapter 1) consists in a brief motivation of interactive dualism as opposed to non-interactive dualism. I argue that non-interactive, epiphenomenalist dualism sacrifices so many crucial aspects of our human existence that interactive dualism is highly to be preferred to it, barring even stronger counterarguments against the latter. It is those putative counterarguments I address in parts II and III. Part II takes on the philosophical objections from the causal closure of the physical and from causal heterogeneity. The former takes the success of physics and physiology as basis for the doctrine of the causal closure of the physical (CCP). I argue against this that there is not only no convincing argument for CCP, but also that any science-based belief in CCP cannot be epistemically justified. As regards the causal heterogeneity objection, it is ‘weighed and found wanting’, because it relies on unwarranted assumptions about causation. In part III, I examine the objection from energy conservation. It roughly says that if interactive dualism were true, then energy would not be conserved, which physics taught us cannot be the case. My reply is that the underlying conception of energy (and momentum) conservation is wrong-headed and not the one that actual physicists use. Instead of being categorical and global, conservation laws are conditional and local, thereby making natural room for mental interaction. Some dualists, however, have sought to make interactive dualism conservation-friendly, notably by invoking quantum physics; I show that these attempts are unnecessary and create more problems than they solve. Finally, in chapter 9, I turn the tables on non-interactionists by investigating current neurophysiological literature on volitional actions, which, though not addressing the question directly, still encourages the interactive dualist picture more than a non-interactionist one. Part IV is about the interplay between interactive dualism and the laws of nature. The ultimate goal is, if possible, to come up with a theory of the laws of nature that explains the lawlike behavior of nature and at the same time makes room for interaction. I begin by pointing out that the laws of nature are or at least should be what physicalists worry about (chapter 10). I then proceed with a historical survey on the development of the notion of laws of nature (chapter 11) that sheds light on its theistic origin. This is followed by an inquiry into the question how a law of nature could possibly be broken (chapter 12) and a survey of the extant metaphysical theories of the laws of nature with special regard to their receptivity to interaction (chapter 13). Finally, in chapter 14 I develop a theory of the laws of nature both faithful to their divine origin and the possibility of mental interaction: dispositionalist divine decretalism, a synthesis of dispositionalism and Jeffrey Koperski’s divine decretalism. (shrink)

From Soul to Self takes us on a fascinating journey through philosophy, theology, religious studies and physiological sciences. The contributors explore the relationship between a variety of ideas that have arisen in philosophy, religion and science, each idea seeking to explain why we think we are somehow unique and distinct.

This study is intended to measure the readiness of the public elementary school heads on the principles of sustainable leadership. This study utilized the mixed-method design. Creswell & Clark (2017), defined mixed methods research as a research approach that combines both qualitative and quantitative methods in a single study to gain a more comprehensive understanding of a research question or topic. This approach allows researchers to leverage the strengths of both qualitative and quantitative methods. The following major findings on the (...) quantitative aspect are: the school heads are slightly ready on the worldview principle while moderately ready to influence and complexity. However, they are highly ready to network, self-leadership, and work across boundaries. Positive themes emerged for the qualitative part with the results as: improved communication, increased motivation, and enhanced creativity. It can be concluded that the school heads are slightly ready when it comes to worldview principles. The SDO should create capacity training that could increase the readiness of the school heads on this principle of sustainable leadership. (shrink)

Background: Use of patients’ medical data for secondary purposes such as health research, audit, and service planning is well established in the UK. However, the governance environment, as well as public understanding about this work, have lagged behind. We aimed to systematically review the literature on UK and Irish public views of patient data used in research, critically analysing such views though an established biomedical ethics framework, to draw out potential strategies for future good practice guidance and inform ethical and (...) privacy debates. Methods: We searched three databases using terms such as patient, public, opinion, and electronic health records. Empirical studies were eligible for inclusion if they surveyed healthcare users, patients or the public in UK and Ireland and examined attitudes, opinions or beliefs about the use of patient data for medical research. Results were synthesised into broad themes using a framework analysis. Results: Out of 13,492 papers and reports screened, 20 papers or reports were eligible. While there was a widespread willingness to share patient data for research for the common good, this very rarely led to unqualified support. The public expressed two generalised concerns about the potential risks to their privacy. The first of these concerns related to a party’s competence in keeping data secure, while the second was associated with the motivation a party might have to use the data. Conclusions: The public evaluates trustworthiness of research organisations by assessing their competence in data-handling and motivation for accessing the data. Public attitudes around data-sharing exemplified several principles which are also widely accepted in biomedical ethics. This provides a framework for understanding public attitudes, which should be considered in the development in any guidance for regulators and data custodians. We propose four salient questions which decision makers should address when evaluating proposals for the secondary use of data. (shrink)

This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical approaches of (...) this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account for and misrepresent important epistemological structure and behaviour in science. The other method for epistemology of science I consider is modeled on the methods used to construct valid models of natural phenomena in applied mathematics. This new epistemological method is itself a modeling method that is developed through the detailed consideration of two main examples of theory application in science: double pendulum systems and the modeling of near-Earth objects to compute probability of future Earth impact. I show that not only does this new method accurately represent actual methods used to apply theories in applied mathematics, it also reveals interesting structural and behavioural patterns in the application process and gives insight into what underlies the stability of methods of application. I therefore conclude that for epistemology of science to develop fully as a scientific discipline it must use methods from applied mathematics, not only methods from pure mathematics and metamathematics as traditional formal epistemology of science has done. (shrink)

We suggest that the emerging field of the conservation humanities can play a valuable role in biodiversity protection in Papua New Guinea (PNG), where most land remains under collective customary clan ownership. As a first step to mobilising this scholarly field in PNG and to support capacity development for PNG humanities academics, we conducted a landscape review of PNG humanities teaching and research relating to biodiversity conservation and customary land rights. We conducted a systematic literature review, a PNG teaching programme (...) review, and a series of online workshops between the authors (10 PNG-based, 7 UK-based). We found a small but notable amount of PNG research and teaching focused on biodiversity conservation or customary land rights. This included explicit discussion of these topics in 8 of 156 PNG-authored humanities texts published 2010-2020 and related teaching content in the curricula of several different humanities-based programmes. We discuss current barriers to PNG academic development. The growth of fully fledged in-country conservation humanities will require a joint collaborative effort by PNG researchers, who are best placed to carry out such work, and researchers from abroad who can access resources to support the process. (shrink)

This original and enticing book provides a fresh, unifying perspective on many old and new logico-philosophical conundrums. Its basic thesis is that many concepts central in ordinary and philosophical discourse are inherently circular and thus cannot be fully understood as long as one remains within the confines of a standard theory of definitions. As an alternative, the authors develop a revision theory of definitions, which allows definitions to be circular without this giving rise to contradiction (but, at worst, to “vacuous” (...) uses of definienda). The theory is applied with varying levels of detail to a circular analysis of concepts as diverse as truth, predication, necessity, physical object, etc. The focus is on truth, and hope is expressed that a deeper understanding of the Liar and related paradoxes has been provided: “We have tried to show that once the circularity of truth is recognized, a great deal of its behavior begins to make sense. In particular, from this viewpoint, the existence of the paradoxes seems as natural as the existence of the eclipses” (p. 142). We think that this hope is fully justified, although some problems remain that future research in this field should take into account. (shrink)

The current debate over aesthetic testimony typically focuses on cases of doxastic repetition — where, when an agent, on receiving aesthetic testimony that p, acquires the belief that p without qualification. I suggest that we broaden the set of cases under consideration. I consider a number of cases of action from testimony, including reconsidering a disliked album based on testimony, and choosing an artistic educational institution from testimony. But this cannot simply be explained by supposing that testimony is usable for (...) action, but unusable for doxastic repetition. I consider a new asymmetry in the usability aesthetic testimony. Consider the following cases: we seem unwilling to accept somebody hanging a painting in their bedroom based merely on testimony, but entirely willing to accept hanging a painting in a museum based merely on testimony. The switch in intuitive acceptability seems to track, in some complicated way, the line between public life and private life. These new cases weigh against a number of standing theories of aesthetic testimony. I suggest that we look further afield, and that something like a sensibility theory, in the style of John McDowell and David Wiggins, will prove to be the best fit for our intuitions for the usability of aesthetic testimony. I propose the following explanation for the new asymmetry: we are willing to accept testimony about whether a work merits being found beautiful; but we are unwilling to accept testimony about whether something actually is beautiful. (shrink)

Recent conversation has blurred two very different social epistemic phenomena: echo chambers and epistemic bubbles. Members of epistemic bubbles merely lack exposure to relevant information and arguments. Members of echo chambers, on the other hand, have been brought to systematically distrust all outside sources. In epistemic bubbles, other voices are not heard; in echo chambers, other voices are actively undermined. It is crucial to keep these phenomena distinct. First, echo chambers can explain the post-truth phenomena in a way that epistemic (...) bubbles cannot. Second, each type of structure requires a distinct intervention. Mere exposure to evidence can shatter an epistemic bubble, but may actually reinforce an echo chamber. Finally, echo chambers are much harder to escape. Once in their grip, an agent may act with epistemic virtue, but social context will pervert those actions. Escape from an echo chamber may require a radical rebooting of one's belief system. (shrink)

In this essay, we suggest practical ways to shift the framing of crisis standards of care toward disability justice. We elaborate on the vision statement provided in the 2010 Institute of Medicine (National Academy of Medicine) “Summary of Guidance for Establishing Crisis Standards of Care for Use in Disaster Situations,” which emphasizes fairness; equitable processes; community and provider engagement, education, and communication; and the rule of law. We argue that interpreting these elements through disability justice entails a commitment to both (...) distributive and recognitive justice. The disability rights movement's demand “Nothing about us, without us” requires substantive inclusion of disabled people in decision‐making related to their interests, including in crisis planning before, during, and after a pandemic like Covid‐19. (shrink)

Persons think. Bodies, time-slices of persons, and brains might also think. They have the necessary neural equipment. Thus, there seems to be more than one thinker in your chair. Critics assert that this is too many thinkers and that we should reject ontologies that allow more than one thinker in your chair. I argue that cases of multiple thinkers are innocuous and that there is not too much thinking. Rather, the thinking shared between, for example, persons and their bodies is (...) exactly what we should expect at the intersection of part sharing and the supervenience of the mental on the physical. I end by responding to the overcrowding objection, the personhood objection, the personal-pronoun reference problem and the epistemic objection. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

Argues (1) that the debate between actualists and possibilists in deontic logic distorts what is really at issue, and (2) that reframing the debate as being about reasons strongly suggests that those with possibilist sympathies should adopt more moderate claims (which may nevertheless be distinct from actualism).